\section{Minimization}

\subsection{The double tape output case}
Mukund please fill this












\subsection{The reset, one variable (adding only on the right) case}

\begin{definition}[Equivalence Relation]
Given...
\end{definition}